Joshua Sunshine ([@joshsunshine](https://twitter.com/joshsunshine)) - June 23, 2022 12:32 PM Our ([@wise_jenna](https://twitter.com/wise_jenna) [@JAldrichPL](https://twitter.com/JAldrichPL)) gradual verification semantics are written in continuation-passing style (CPS). We're currently onboarding students and want to point them to good educational treatments of CPS (e.g., textbook chapters, notes). Any pointers from the twitter hivemind? [Tweet link](https://twitter.com/joshsunshine/status/1540009852860350467)